A Graphical Notion of State-based Classes' Inheritance
نویسندگان
چکیده
The paper proposes a novel graphical notion of state-based classes' inheritance. The proposed graphical notion allows generalization, decomposition, structurization and incremental extension of state-based classes' behaviour using inheritance.
منابع مشابه
OntoDLV: An Object-Oriented Disjunctive Logic Programming System
The paper presents OntoDLV a system based on an extension of Disjunctive Logic Programming (DLP) which combines the expressive power of DLP with the modeling capabilities of the object-oriented languages. In particular, the OntoDLV language supports the most important object-oriented constructs including classes, objects, (multiple) inheritance, and types. OntoDLV is built on top of DLV (a stat...
متن کاملDisjunctive logic programming with types and objects: The DLV+ system
The paper presents DLV, a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, update, browse, query, and reason on knowledge bases. Two strong points of the system are the powerful t...
متن کاملFormal Semantics of Inheritance and Object Substitutability
In this paper we study the problem of semantic substitutability of objects. First we give semantics of classes, objects and inheritance in presence of dynamic binding. For this purpose we extend Cook and Palsberg's denotational semantics of stateless classes and inheritance by adding state. We build our theory on the basis of reenement calculus, which is a logic framework for reasoning about co...
متن کاملSpecification and (property) inheritance in CSP-OZ
CSP-OZ [C. Fischer, CSP-OZ: A combination of Object-Z and CSP, in: H. Bowman, J. Derrick (Eds.), Formal Methods for Open Object-Based Distributed Systems, FMOODS’97, vol. 2, Chapman & Hall, 1997, pp. 423–438] is a combination of Communicating Sequential Processes (CSP) and Object-Z (OZ). It enables the specification of systems having both a state-based and a behaviouroriented view using the obj...
متن کاملGenetic Study of Agronomic Traits in Tobacco (Nicotiana tabacum L.) Using Hayman’s Graphical Analysis of Diallel
For the purpose of graphical analysis and estimation of genetic parameters related to yield and its components, six tobacco genotypes was crossed in half -diallel mating design. In this study, the F2 progenies and their parents were evaluated in a randomized complete block design with three replications. The results of analysis of variance indicated a significant difference between genotypes fo...
متن کامل